4067) A Design System on Elements Interaction Nets
نویسندگان
چکیده
منابع مشابه
A Remark on Nets of Threshold Elements
The symbols, designations and definitions are the same as those in Krohn and Rhodes (1965); tha t article contains complete algebraic characterizations of general and some special nets of threshold elements and of the transition functions associated with them. In Corollary 3.1. (iii) the authors give a criterion for transition functions of Simple McCulloch-Pitts Nets (SMPN) which is necessary b...
متن کاملInteraction nets: programming language design and implementation
This paper presents a compiler for interaction nets, which, just like term rewriting systems, are user-definable rewrite systems which offer the ability to specify and program. In the same way that the λ -calculus is the foundation for functional programming, or horn clauses are the foundation for logic programming, we give in this paper an overview of a substantial software system that is curr...
متن کاملMacros for Interaction Nets: A Conservative Extension of Interaction Nets
We propose a conservative extension of interaction nets which offers enriched patternmatching facilities. The extension is conservative in the sense that it can be implemented inside standard interaction nets, and thus can be seen as a system of macros. Consequently, we are guaranteed to keep all the good properties of interaction nets, in particular strong confluence. We see this extension as ...
متن کاملOn Autonomous Logic Nets of Threshold Elements
A model of autonomous logic nets composed of n threshold elements is presented and several properties of a single threshold element are generalized to this model. The number of these nets is shown to be 2kn (-<k<l) for completely specified machines. The capacity of the net is defined and conjectured to be 2, similar to the case of a single threshold element. P and NPN Manuscript received Octobe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the Architectural Institute of Japan Summaries of Technical Papers
سال: 1965
ISSN: 2433-0035
DOI: 10.3130/aijsaxxe.40.0_539